Советский философский словарь - абстракция актуальной бесконечности
Связанные словари
Абстракция актуальной бесконечности
абстракция актуальной бесконечности
одна из осн. абстракций (идеализации) классич. (теоретико множеств.) математики и классич. математич. логики. Состоит в отвлечении от невозможности полного обозрения к.-л. бесконечного образования (бесконечной совокупности элементов к.-л. рода; знаковых конструкций, возникающих в ходе неограниченно продолжаемого конструктивного процесса; см. Конструктивное направление) и в рассмотрении его в качестве единого объекта актуально бесконечного множества (напр., множества всех натуральных чисел, континуума точек отрезка, множества всех формул любой длины логич. исчисления), в применении к к-рому можно рассуждать по законам обычной (двузначной) логики и, в частности, применять исключённого третьего принцип и закон снятия двойного отрицания. А. а. б. не используется в интуиционистской математике и логике (см. Интуиционизм) и конструктивном направлении.
Рейтинг статьи:
Комментарии:
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 1735 | |
2 | 1417 | |
3 | 1216 | |
4 | 1148 | |
5 | 1136 | |
6 | 1101 | |
7 | 905 | |
8 | 834 | |
9 | 790 | |
10 | 756 | |
11 | 748 | |
12 | 732 | |
13 | 701 | |
14 | 700 | |
15 | 697 | |
16 | 682 | |
17 | 677 | |
18 | 653 | |
19 | 648 | |
20 | 630 |